2181. <The> Arché papers on the Mathematics of Abstraction
Author: \ edited by Roy T. Cook.
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Logic, symbolic and mathematical,منطق ریاضی,a04,a04,Mathematics -- Philosophy.,ریاضیات -- فلسفه
Classification :
QA
9
.
A7
2007
E-Book
,
2182. The Art of the Intelligible :
Author: by John L. Bell.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra.,Geometry.,Logic, Symbolic and mathematical.,Philosophy (General),Science-- Philosophy.,Algebra.,Geometry.,Logic, Symbolic and mathematical.,Science-- Philosophy.
Classification :
B67
2183. The Big Typescript, TS. 213 /
Author: Ludwig Wittgenstein ; edited and translated by C. Grant Luckhardt and Maximilian Aue
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical,Mathematics-- Philosophy,Semantics (Philosophy)
Classification :
B3376
.
W563
B4713
2005
2184. The Calculi of symbolic logic, 1
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical-- Addresses, essays, lectures
Classification :
QA
1
.
A413
no
.
98
1968
2185. The Calculi of symbolic logic, 1
Author: edited by V. P. Orevkov
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Addresses, essays, lectures ، Logic, Symbolic and mathematical
Classification :
QA
1
.
P736
Vol
.
98
2186. The Continuum companion to philosophical logic /
Author: edited by Richard Pettigrew and Leon Horsten
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical
Classification :
BC135
.
C57
2011
2187. <The> Elements of Advanced Mathematics
Author: \ Steven G. Krantz
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Mathematics,Mathematics -- Textbooks,Logic, Symbolic and mathematical -- Textbooks,ریاضیات,ریاضیات -- کتابهای درسی,منطق ریاضی -- کتابهای درسی
Classification :
E-Book
,
2188. <The> Essential Turing
Author: \ Edited by B. Jack Copeland
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Logic, symbolic and mathematical,منطق ریاضی,a04,a04,Turing, Alan, 1912-1954.,ترینگ، آلن ماتیسن، ۱۹۱۲ - ۱۹۵۴م.
Classification :
E-Book
,
2189. The Frege reader
Author: Frege, Gottlob
Library: Library of Mofid University (Qom)
Subject: ، Logic,، Logic, Symbolic and mathematical,Philosophy ، Language and languages,Philosophy ، Mathematics,، Philosophy
Classification :
B3245
.
F22
E52
1997
2190. The Frege reader
Author: edited by Michael Beaney
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic,، Logic, Symbolic and mathematical,Philosophy ، Language and languages,، Mathematics -- Philosophy,، Philosophy
Classification :
B
3245
.
F73F7
2191. The Higher Infinite :
Author: by Akihiro Kanamori.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Mathematics.,Topology.
Classification :
QA248
.
B935
1997
2192. The Imperative future :principles of executable temporal logic
پدیدآورنده : edited by Howard Barringer ... ]et al.[
موضوع : Development ، Computer software,، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
2193. <The> Logic of Reliable Inquiry
Author: \ Kevin T. Kelly.
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Research-- Methodology.,Research-- Evaluation.,Logic, Symbolic and mathematical.,Cognitive learning theory., تحقیق -- روششناسی, تحقیق -- ارزشیابی,منطق ریاضی
Classification :
Q
180
.
55
.
M4K45
1996
E-book
,
2194. The Logic of decision and action
Author: / Edited by Nicholas Rescher.Essays by Alan Ross Anderson [and others]With comments by R.Ackermann[and others. Pittsburgh]
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Logic, Symbolic and mathematical -- Addresses, essays, lectures,Decision- making--Addresses, essays, lectures.,Act.(Philosophy)-- Addresses,essays,lectures
Classification :
BC
135
.
L58
2195. The Logic of theory change : Workshop, Konstanz, FRG, October 13-15, 1989 : proceedings
Author: A. Fuhrmann, M. Morreau )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
465
2196. The Logic of theory change : workshop, Konstanz, FRG, October 13-15, 1989, proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer science-- Congresses,، Logic, Symbolic and mathematical-- Congresses
Classification :
QA
76
.
L5663
1991
2197. <The> Logical Foundations of Scientific Theories
Author: \ Décio Krause and Jonas R. B. Arenhart
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Logic, Symbolic and mathematical,منطق ریاضی
Classification :
E-Book
,
2198. The Ordered Weighted Averaging Operators
Author: edited by Ronald R. Yager, Janusz Kacprzyk.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Information Systems.,Logic, Symbolic and mathematical.,Mathematics.
2199. <The> Oxford Handbook of Philosophy of Mathematics and Logic
Author: / edited by Stewart Shapiro
Library: Library of Islamic Encyclopedia Foundation (Tehran)
Subject: ریاضیات, -- فلسفه,Mathematics - Philosophy,Logic, Symbolic and mathematical - Philosophy
Classification :
QA8
,.
4
.
O94
2200. The Oxford handbook of philosophy of mathematics and logic
Author: edited by Stewart Shapiro
Library: Central library and information center (Khorasan Razavi)
Subject: Philosophy ، Mathematics,Philosophy ، Logic, Symbolic and mathematical
Classification :
QA
8
.
4
.
O94
2005
